2 Klaus Ambos - Spies , Steffen Lempp
نویسندگان
چکیده
We show that the two nondistributive ve-element lattices, M 5 and N 5 , can be embedded into the r.e. degrees preserving the greatest element.
منابع مشابه
Lattice Embeddings into the R . E . Degrees Preserving 0 and 1
We show that a nite distributive lattice can be embedded into the r.e. degrees preserving least and greatest element i the lattice contains a join-irreducible noncappable element.
متن کاملLattice Embeddings into the R . E . Degrees Preserving 0 and 1 Klaus Ambos - Spies
We show that a finite distributive lattice can be embedded into the r.e. degrees preserving least and greatest element if and only if the lattice contains a join-irreducible noncappable element.
متن کاملComparing DNR and WWKL
In Reverse Mathematics, the axiom system DNR, asserting the existence of diagonally non-recursive functions, is strictly weaker than WWKL0 (weak weak König’s
متن کاملGenerating Sets for the Recursively Enumerable Turing Degrees
One of the recurrent themes in the area of the recursively enumerable (r.e.) degrees has been the study of the meet operator. While, trivially, the partial ordering of the r.e. degrees is an upper semi-lattice, i.e., the join ∗Lempp was partially supported by NSF grant DMS-0140120 and a Mercator Guest Professorship of the Deutsche Forschungsgemeinschaft. †Slaman was partially supported by the A...
متن کاملRandomness vs. Completeness: On the Diagonalization Strength of Resource-Bounded Random Sets
We show that the question of whether the p-tt-complete or p-T -complete sets for the deterministic time classes E and EXP have measure 0 in these classes in the sense of Lutz's resource-bounded measure cannot be decided by relativizable techniques. On the other hand, we obtain the following absolute results if we bound the norm, i.e., the number of oracle queries of the reductions: For r = tt; ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2014